Mobile
Log In Sign Up
Home > chinese-english > "correctness proof" in English

English translation for "correctness proof"

正确性证明

Related Translations:
correctness:  正确度正确性正确与否准确度准确和正确
semantic correctness:  语义正确性
political correctness:  政治正确
grammatical correctness:  语法规范
probable correctness:  概率正确性
strong correctness:  强正确性
program correctness:  程序的正确性程序正确性
partial correctness:  部分正确性
correctness argument:  正确性论据
software correctness:  软件正确性
Example Sentences:
1.Give out a correctness proof for the protocol based on the strand space model theory and kailar logic
使用ssm理论和kailar逻辑证明了该协议的安全性质。
2.One thing should be pointed out is that the correctness proof based on strand space is valid only on the attack set already known
需要指出的是:基于strand空间理论的正确性证明是建立在已知攻击集的基础上的。
3.3 halpern j , zuck l . a little knowledge goes a long way : simple knowledge based derivations and correctness proofs for a family of protocols . journal of the acm , 1992 , 39 : 449 - 478
并且他们只是用认识逻辑描述协议的规范,但没有给出相应的算法,即给出一个具体的协议,如何自动生成公理集并自动验证他满足一些认知规范
4.But at present , many mobile banking systems only use some cryptographic algorithms as security measures , without depicting the procedure of message exchanging as a secuity protocol , needless to say how to analyze it or provide the correctness proof of it
但目前很多手机银行系统中只是简单的使用了若干密码算法作为安全措施,没有把消息交换过程抽象描述成安全协议的形式,更谈不上对其进行形式化的分析证明。
Similar Words:
"correctness of concurrency control" English translation, "correctness of forecast" English translation, "correctness of software" English translation, "correctness of the shape of figure" English translation, "correctness oriented programming" English translation, "correctness specification" English translation, "correctness theorem" English translation, "correctness-oriented programming" English translation, "correctophone" English translation, "corrector" English translation